Relaxing Goodness Is Still Good
نویسندگان
چکیده
Polygonal hybrid systems (SPDIs) are planar hybrid systems, whose dynamics are defined in terms of constant differential inclusions, one for each of a number of polygonal regions partitioning the plane. The reachability problem for SPDIs is known to be decidable, but depends on the goodness assumption — which states that the dynamics do not allow a trajectory to both enter and leave a region through the same edge. In this paper we extend the decidability result to generalised SPDIs (GSPDI), SPDIs not satisfying the goodness assumption, and give an algorithmic solution to decide reachability of such systems.
منابع مشابه
DEPARTMENT OF ECONOMICS WORKING PAPER SERIES Falsifying the “Goodness” of Nonmarket Goods with Revealed Preference
Some assert that it is impossible to test preference restrictions against revealed preference. The “goodness” preference restriction simply assumes that one value of a nonmarket good is preferred over another other with any fixed commodity consumption. This paper uses a preference-theoretic methodology to show how goodness can be falsified by revealed preference for compensation-based welfare a...
متن کاملA Moral Analysis of the Conflict between Justice and Goodness from the Standpoint of Imam Ali
There has been a long-lasting problem in ethics: how can one think of justice and goodness as consistent? Imam Ali also explores the connection between them. Whereas he defined justice as “putting things in their places” or “giving everyone his own right”, he referred to the common good as “what is achieved by justice” to show that the common good depends on justice. On the other hand, there ar...
متن کاملACE Spectrum of LDPC Codes
Construction of short-length LDPC codes with good, both waterfall and error-floor, behavior is still an attractive research problem. Recently proposed construction algorithms in this field are based on remarkably simple ideas, but yet, their effectiveness can still be questioned. In this paper we investigate a novel measure of goodness of a given LDPC code, namely its ACE spectrum, based on a p...
متن کاملOn distribution-free goodness-of-fit testing of exponentiality
Local, or better, contiguous alternatives are the closest alternatives against which it is still possible to have some power. With this in mind we would like to think of goodness-of-fit tests as those which have some power against all, or a huge majority, of local alternatives. Tests of that kind are often based on nonlinear functionals, with a complicated asymptotic null distribution. Therefor...
متن کاملWhat is it to do good medical ethics? On the concepts of 'good' and 'goodness' in medical ethics.
In his book The Varieties of Goodness Georg Henrik von Wright advocates that a useful preliminary to the study of the word 'good' is to compile a list of familiar uses and try to group them under some main headings. The present paper aims at exploring the question, 'What is it to do good medical ethics?', and notably from the vantage point of everyday expressions of the word 'good' and von Wrig...
متن کامل